[INFO] fetching crate oak-coq 0.0.10...
[INFO] testing oak-coq-0.0.10 against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065-1
[INFO] extracting crate oak-coq 0.0.10 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate oak-coq 0.0.10
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate oak-coq 0.0.10
[INFO] tweaked toml for crates.io crate oak-coq 0.0.10 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate oak-coq 0.0.10 on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate oak-coq 0.0.10 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 56410fedfbd007d30b1b26184f72a7dc9b1869e1e9ff0309bb0610123c15a97d
[INFO] running `Command { std: "docker" "start" "-a" "56410fedfbd007d30b1b26184f72a7dc9b1869e1e9ff0309bb0610123c15a97d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "56410fedfbd007d30b1b26184f72a7dc9b1869e1e9ff0309bb0610123c15a97d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "56410fedfbd007d30b1b26184f72a7dc9b1869e1e9ff0309bb0610123c15a97d", kill_on_drop: false }`
[INFO] [stdout] 56410fedfbd007d30b1b26184f72a7dc9b1869e1e9ff0309bb0610123c15a97d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4b08350cd001a2dd60480c02556e1a53983c911b0757409f6e25dade6d2f4751
[INFO] running `Command { std: "docker" "start" "-a" "4b08350cd001a2dd60480c02556e1a53983c911b0757409f6e25dade6d2f4751", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.40
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling twox-hash v2.1.2
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling triomphe v0.1.15
[INFO] [stderr]    Compiling oak-core v0.0.10
[INFO] [stderr]    Compiling oak-coq v0.0.10 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `GreenNode`
[INFO] [stdout]   --> src/parser/mod.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     GreenNode, OakError,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 13.64s
[INFO] running `Command { std: "docker" "inspect" "4b08350cd001a2dd60480c02556e1a53983c911b0757409f6e25dade6d2f4751", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4b08350cd001a2dd60480c02556e1a53983c911b0757409f6e25dade6d2f4751", kill_on_drop: false }`
[INFO] [stdout] 4b08350cd001a2dd60480c02556e1a53983c911b0757409f6e25dade6d2f4751
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 57180be42bbef39fd7d5387b7aa9b0cdfad363ad9a5e44b8dfdac05b4aaed61b
[INFO] running `Command { std: "docker" "start" "-a" "57180be42bbef39fd7d5387b7aa9b0cdfad363ad9a5e44b8dfdac05b4aaed61b", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stdout] warning: unused import: `GreenNode`
[INFO] [stdout]   --> src/parser/mod.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     GreenNode, OakError,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling oak-testing v0.0.10
[INFO] [stderr]    Compiling oak-coq v0.0.10 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `GreenNode`
[INFO] [stdout]   --> src/parser/mod.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     GreenNode, OakError,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: feature `new_range_api` is declared but not used
[INFO] [stdout]  --> tests/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(new_range_api)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_features)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 3.19s
[INFO] running `Command { std: "docker" "inspect" "57180be42bbef39fd7d5387b7aa9b0cdfad363ad9a5e44b8dfdac05b4aaed61b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "57180be42bbef39fd7d5387b7aa9b0cdfad363ad9a5e44b8dfdac05b4aaed61b", kill_on_drop: false }`
[INFO] [stdout] 57180be42bbef39fd7d5387b7aa9b0cdfad363ad9a5e44b8dfdac05b4aaed61b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] ff7c5552b374ed70c000d63b9f931636ed786715465fca82f1b50c09690b55da
[INFO] running `Command { std: "docker" "start" "-a" "ff7c5552b374ed70c000d63b9f931636ed786715465fca82f1b50c09690b55da", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `GreenNode`
[INFO] [stderr]   --> src/parser/mod.rs:10:5
[INFO] [stderr]    |
[INFO] [stderr] 10 |     GreenNode, OakError,
[INFO] [stderr]    |     ^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `oak-coq` (lib) generated 1 warning (run `cargo fix --lib -p oak-coq` to apply 1 suggestion)
[INFO] [stderr] warning: feature `new_range_api` is declared but not used
[INFO] [stderr]  --> tests/main.rs:1:12
[INFO] [stderr]   |
[INFO] [stderr] 1 | #![feature(new_range_api)]
[INFO] [stderr]   |            ^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_features)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `oak-coq` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr] warning: `oak-coq` (test "main") generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.11s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/oak_coq-de0e669ba63ff8e5)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stderr]      Running tests/main.rs (/opt/rustwide/target/debug/deps/main-a8aec1fe17f534a6)
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test lexer::test_coq_lexer ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- lexer::test_coq_lexer stdout ----
[INFO] [stdout] Testing file: /opt/rustwide/workdir/tests/lexer/basic.v
[INFO] [stdout] Error: TestFailure { path: "/opt/rustwide/workdir/tests/lexer/basic.v", expected: "LexerTestExpected {\n    success: true,\n    count: 100,\n    tokens: [\n        TokenData {\n            kind: \"Theorem\",\n            text: \"Theorem\",\n            start: 72,\n            end: 79,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"plus_O_n\",\n            start: 80,\n            end: 88,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 89,\n            end: 90,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"forall\",\n            start: 91,\n            end: 97,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"n\",\n            start: 98,\n            end: 99,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 100,\n            end: 101,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"nat\",\n            start: 102,\n            end: 105,\n        },\n        TokenData {\n            kind: \"Comma\",\n            text: \",\",\n            start: 105,\n            end: 106,\n        },\n        TokenData {\n            kind: \"NumberLiteral\",\n            text: \"0\",\n            start: 107,\n            end: 108,\n        },\n        TokenData {\n            kind: \"Plus\",\n            text: \"+\",\n            start: 109,\n            end: 110,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"n\",\n            start: 111,\n            end: 112,\n        },\n        TokenData {\n            kind: \"Equal\",\n            text: \"=\",\n            start: 113,\n            end: 114,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"n\",\n            start: 115,\n            end: 116,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 116,\n            end: 117,\n        },\n        TokenData {\n            kind: \"Proof\",\n            text: \"Proof\",\n            start: 119,\n            end: 124,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 124,\n            end: 125,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"intros\",\n            start: 129,\n            end: 135,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"n\",\n            start: 136,\n            end: 137,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 137,\n            end: 138,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"simpl\",\n            start: 139,\n            end: 144,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 144,\n            end: 145,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"reflexivity\",\n            start: 146,\n            end: 157,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 157,\n            end: 158,\n        },\n        TokenData {\n            kind: \"Qed\",\n            text: \"Qed\",\n            start: 160,\n            end: 163,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 163,\n            end: 164,\n        },\n        TokenData {\n            kind: \"Fixpoint\",\n            text: \"Fixpoint\",\n            start: 195,\n            end: 203,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"factorial\",\n            start: 204,\n            end: 213,\n        },\n        TokenData {\n            kind: \"LeftParen\",\n            text: \"(\",\n            start: 214,\n            end: 215,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"n\",\n            start: 215,\n            end: 216,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 217,\n            end: 218,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"nat\",\n            start: 219,\n            end: 222,\n        },\n        TokenData {\n            kind: \"RightParen\",\n            text: \")\",\n            start: 222,\n            end: 223,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 224,\n            end: 225,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"nat\",\n            start: 226,\n            end: 229,\n        },\n        TokenData {\n            kind: \"ColonEqual\",\n            text: \":=\",\n            start: 230,\n            end: 232,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"match\",\n            start: 236,\n            end: 241,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"n\",\n            start: 242,\n            end: 243,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"with\",\n            start: 244,\n            end: 248,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 252,\n            end: 253,\n        },\n        TokenData {\n            kind: \"NumberLiteral\",\n            text: \"0\",\n            start: 254,\n            end: 255,\n        },\n        TokenData {\n            kind: \"DoubleArrow\",\n            text: \"=>\",\n            start: 256,\n            end: 258,\n        },\n        TokenData {\n            kind: \"NumberLiteral\",\n            text: \"1\",\n            start: 259,\n            end: 260,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 264,\n            end: 265,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"S\",\n            start: 266,\n            end: 267,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"p\",\n            start: 268,\n            end: 269,\n        },\n        TokenData {\n            kind: \"DoubleArrow\",\n            text: \"=>\",\n            start: 270,\n            end: 272,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"n\",\n            start: 273,\n            end: 274,\n        },\n        TokenData {\n            kind: \"Star\",\n            text: \"*\",\n            start: 275,\n            end: 276,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"factorial\",\n            start: 277,\n            end: 286,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"p\",\n            start: 287,\n            end: 288,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"end\",\n            start: 292,\n            end: 295,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 295,\n            end: 296,\n        },\n        TokenData {\n            kind: \"Inductive\",\n            text: \"Inductive\",\n            start: 333,\n            end: 342,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"tree\",\n            start: 343,\n            end: 347,\n        },\n        TokenData {\n            kind: \"LeftParen\",\n            text: \"(\",\n            start: 348,\n            end: 349,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"A\",\n            start: 349,\n            end: 350,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 351,\n            end: 352,\n        },\n        TokenData {\n            kind: \"Type\",\n            text: \"Type\",\n            start: 353,\n            end: 357,\n        },\n        TokenData {\n            kind: \"RightParen\",\n            text: \")\",\n            start: 357,\n            end: 358,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 359,\n            end: 360,\n        },\n        TokenData {\n            kind: \"Type\",\n            text: \"Type\",\n            start: 361,\n            end: 365,\n        },\n        TokenData {\n            kind: \"ColonEqual\",\n            text: \":=\",\n            start: 366,\n            end: 368,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 372,\n            end: 373,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"leaf\",\n            start: 374,\n            end: 378,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 379,\n            end: 380,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"A\",\n            start: 381,\n            end: 382,\n        },\n        TokenData {\n            kind: \"Arrow\",\n            text: \"->\",\n            start: 383,\n            end: 385,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"tree\",\n            start: 386,\n            end: 390,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"A\",\n            start: 391,\n            end: 392,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 396,\n            end: 397,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"node\",\n            start: 398,\n            end: 402,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 403,\n            end: 404,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"tree\",\n            start: 405,\n            end: 409,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"A\",\n            start: 410,\n            end: 411,\n        },\n        TokenData {\n            kind: \"Arrow\",\n            text: \"->\",\n            start: 412,\n            end: 414,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"tree\",\n            start: 415,\n            end: 419,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"A\",\n            start: 420,\n            end: 421,\n        },\n        TokenData {\n            kind: \"Arrow\",\n            text: \"->\",\n            start: 422,\n            end: 424,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"tree\",\n            start: 425,\n            end: 429,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"A\",\n            start: 430,\n            end: 431,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 431,\n            end: 432,\n        },\n        TokenData {\n            kind: \"Record\",\n            text: \"Record\",\n            start: 461,\n            end: 467,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"point\",\n            start: 468,\n            end: 473,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 474,\n            end: 475,\n        },\n        TokenData {\n            kind: \"Type\",\n            text: \"Type\",\n            start: 476,\n            end: 480,\n        },\n        TokenData {\n            kind: \"ColonEqual\",\n            text: \":=\",\n            start: 481,\n            end: 483,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"make_point\",\n            start: 484,\n            end: 494,\n        },\n        TokenData {\n            kind: \"LeftBrace\",\n            text: \"{\",\n            start: 498,\n            end: 499,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"x\",\n            start: 500,\n            end: 501,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 502,\n            end: 503,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"nat\",\n            start: 504,\n            end: 507,\n        },\n        TokenData {\n            kind: \"Semicolon\",\n            text: \";\",\n            start: 511,\n            end: 512,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"y\",\n            start: 513,\n            end: 514,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 515,\n            end: 516,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"nat\",\n            start: 517,\n            end: 520,\n        },\n        TokenData {\n            kind: \"RightBrace\",\n            text: \"}\",\n            start: 524,\n            end: 525,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 525,\n            end: 526,\n        },\n        TokenData {\n            kind: \"Module\",\n            text: \"Module\",\n            start: 555,\n            end: 561,\n        },\n        TokenData {\n            kind: \"Type\",\n            text: \"Type\",\n            start: 562,\n            end: 566,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"ORDERED_TYPE\",\n            start: 567,\n            end: 579,\n        },\n    ],\n    errors: [],\n}", actual: "LexerTestExpected {\n    success: true,\n    count: 168,\n    tokens: [\n        TokenData {\n            kind: \"Require\",\n            text: \"Require\",\n            start: 53,\n            end: 60,\n        },\n        TokenData {\n            kind: \"Import\",\n            text: \"Import\",\n            start: 61,\n            end: 67,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"Coq\",\n            start: 68,\n            end: 71,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 71,\n            end: 72,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"Init\",\n            start: 72,\n            end: 76,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 76,\n            end: 77,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"Datatypes\",\n            start: 77,\n            end: 86,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 86,\n            end: 87,\n        },\n        TokenData {\n            kind: \"Require\",\n            text: \"Require\",\n            start: 89,\n            end: 96,\n        },\n        TokenData {\n            kind: \"Import\",\n            text: \"Import\",\n            start: 97,\n            end: 103,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"Coq\",\n            start: 104,\n            end: 107,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 107,\n            end: 108,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"Lists\",\n            start: 108,\n            end: 113,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 113,\n            end: 114,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"List\",\n            start: 114,\n            end: 118,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 118,\n            end: 119,\n        },\n        TokenData {\n            kind: \"Import\",\n            text: \"Import\",\n            start: 121,\n            end: 127,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"ListNotations\",\n            start: 128,\n            end: 141,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 141,\n            end: 142,\n        },\n        TokenData {\n            kind: \"Section\",\n            text: \"Section\",\n            start: 175,\n            end: 182,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"Basics\",\n            start: 183,\n            end: 189,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 189,\n            end: 190,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"Variable\",\n            start: 196,\n            end: 204,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"A\",\n            start: 205,\n            end: 206,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 207,\n            end: 208,\n        },\n        TokenData {\n            kind: \"Type\",\n            text: \"Type\",\n            start: 209,\n            end: 213,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 213,\n            end: 214,\n        },\n        TokenData {\n            kind: \"Inductive\",\n            text: \"Inductive\",\n            start: 253,\n            end: 262,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"day\",\n            start: 263,\n            end: 266,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 267,\n            end: 268,\n        },\n        TokenData {\n            kind: \"Type\",\n            text: \"Type\",\n            start: 269,\n            end: 273,\n        },\n        TokenData {\n            kind: \"ColonEqual\",\n            text: \":=\",\n            start: 274,\n            end: 276,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 282,\n            end: 283,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"monday\",\n            start: 284,\n            end: 290,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 296,\n            end: 297,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"tuesday\",\n            start: 298,\n            end: 305,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 311,\n            end: 312,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"wednesday\",\n            start: 313,\n            end: 322,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 328,\n            end: 329,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"thursday\",\n            start: 330,\n            end: 338,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 344,\n            end: 345,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"friday\",\n            start: 346,\n            end: 352,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 358,\n            end: 359,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"saturday\",\n            start: 360,\n            end: 368,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 374,\n            end: 375,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"sunday\",\n            start: 376,\n            end: 382,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 382,\n            end: 383,\n        },\n        TokenData {\n            kind: \"Definition\",\n            text: \"Definition\",\n            start: 434,\n            end: 444,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"next_weekday\",\n            start: 445,\n            end: 457,\n        },\n        TokenData {\n            kind: \"LeftParen\",\n            text: \"(\",\n            start: 458,\n            end: 459,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"d\",\n            start: 459,\n            end: 460,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 460,\n            end: 461,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"day\",\n            start: 461,\n            end: 464,\n        },\n        TokenData {\n            kind: \"RightParen\",\n            text: \")\",\n            start: 464,\n            end: 465,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 466,\n            end: 467,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"day\",\n            start: 468,\n            end: 471,\n        },\n        TokenData {\n            kind: \"ColonEqual\",\n            text: \":=\",\n            start: 472,\n            end: 474,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"match\",\n            start: 484,\n            end: 489,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"d\",\n            start: 490,\n            end: 491,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"with\",\n            start: 492,\n            end: 496,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 506,\n            end: 507,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"monday\",\n            start: 508,\n            end: 514,\n        },\n        TokenData {\n            kind: \"DoubleArrow\",\n            text: \"=>\",\n            start: 515,\n            end: 517,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"tuesday\",\n            start: 518,\n            end: 525,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 535,\n            end: 536,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"tuesday\",\n            start: 537,\n            end: 544,\n        },\n        TokenData {\n            kind: \"DoubleArrow\",\n            text: \"=>\",\n            start: 545,\n            end: 547,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"wednesday\",\n            start: 548,\n            end: 557,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 567,\n            end: 568,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"wednesday\",\n            start: 569,\n            end: 578,\n        },\n        TokenData {\n            kind: \"DoubleArrow\",\n            text: \"=>\",\n            start: 579,\n            end: 581,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"thursday\",\n            start: 582,\n            end: 590,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 600,\n            end: 601,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"thursday\",\n            start: 602,\n            end: 610,\n        },\n        TokenData {\n            kind: \"DoubleArrow\",\n            text: \"=>\",\n            start: 611,\n            end: 613,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"friday\",\n            start: 614,\n            end: 620,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 630,\n            end: 631,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"friday\",\n            start: 632,\n            end: 638,\n        },\n        TokenData {\n            kind: \"DoubleArrow\",\n            text: \"=>\",\n            start: 639,\n            end: 641,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"saturday\",\n            start: 642,\n            end: 650,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 660,\n            end: 661,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"saturday\",\n            start: 662,\n            end: 670,\n        },\n        TokenData {\n            kind: \"DoubleArrow\",\n            text: \"=>\",\n            start: 671,\n            end: 673,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"sunday\",\n            start: 674,\n            end: 680,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 690,\n            end: 691,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"sunday\",\n            start: 692,\n            end: 698,\n        },\n        TokenData {\n            kind: \"DoubleArrow\",\n            text: \"=>\",\n            start: 699,\n            end: 701,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"monday\",\n            start: 702,\n            end: 708,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"end\",\n            start: 718,\n            end: 721,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 721,\n            end: 722,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"Compute\",\n            start: 753,\n            end: 760,\n        },\n        TokenData {\n            kind: \"LeftParen\",\n            text: \"(\",\n            start: 761,\n            end: 762,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"next_weekday\",\n            start: 762,\n            end: 774,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"monday\",\n            start: 775,\n            end: 781,\n        },\n        TokenData {\n            kind: \"RightParen\",\n            text: \")\",\n            start: 781,\n            end: 782,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 782,\n            end: 783,\n        },\n        TokenData {\n            kind: \"Theorem\",\n            text: \"Theorem\",\n            start: 820,\n            end: 827,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"simple_theorem\",\n            start: 828,\n            end: 842,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 843,\n            end: 844,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"forall\",\n            start: 845,\n            end: 851,\n        },\n        TokenData {\n            kind: \"LeftParen\",\n            text: \"(\",\n            start: 852,\n            end: 853,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"P\",\n            start: 853,\n            end: 854,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"Q\",\n            start: 855,\n            end: 856,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 857,\n            end: 858,\n        },\n        TokenData {\n            kind: \"Prop\",\n            text: \"Prop\",\n            start: 859,\n            end: 863,\n        },\n        TokenData {\n            kind: \"RightParen\",\n            text: \")\",\n            start: 863,\n            end: 864,\n        },\n        TokenData {\n            kind: \"Comma\",\n            text: \",\",\n            start: 864,\n            end: 865,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"P\",\n            start: 866,\n            end: 867,\n        },\n        TokenData {\n            kind: \"Arrow\",\n            text: \"->\",\n            start: 868,\n            end: 870,\n        },\n        TokenData {\n            kind: \"LeftParen\",\n            text: \"(\",\n            start: 871,\n            end: 872,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"P\",\n            start: 872,\n            end: 873,\n        },\n        TokenData {\n            kind: \"Arrow\",\n            text: \"->\",\n            start: 874,\n            end: 876,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"Q\",\n            start: 877,\n            end: 878,\n        },\n        TokenData {\n            kind: \"RightParen\",\n            text: \")\",\n            start: 878,\n            end: 879,\n        },\n        TokenData {\n            kind: \"Arrow\",\n            text: \"->\",\n            start: 880,\n            end: 882,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"Q\",\n            start: 883,\n            end: 884,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 884,\n            end: 885,\n        },\n        TokenData {\n            kind: \"Proof\",\n            text: \"Proof\",\n            start: 891,\n            end: 896,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 896,\n            end: 897,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"intros\",\n            start: 907,\n            end: 913,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"P\",\n            start: 914,\n            end: 915,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"Q\",\n            start: 916,\n            end: 917,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"HP\",\n            start: 918,\n            end: 920,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"HPQ\",\n            start: 921,\n            end: 924,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 924,\n            end: 925,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"apply\",\n            start: 935,\n            end: 940,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"HPQ\",\n            start: 941,\n            end: 944,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 944,\n            end: 945,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"exact\",\n            start: 955,\n            end: 960,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"HP\",\n            start: 961,\n            end: 963,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 963,\n            end: 964,\n        },\n        TokenData {\n            kind: \"Qed\",\n            text: \"Qed\",\n            start: 970,\n            end: 973,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 973,\n            end: 974,\n        },\n        TokenData {\n            kind: \"Fixpoint\",\n            text: \"Fixpoint\",\n            start: 1014,\n            end: 1022,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"plus\",\n            start: 1023,\n            end: 1027,\n        },\n        TokenData {\n            kind: \"LeftParen\",\n            text: \"(\",\n            start: 1028,\n            end: 1029,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"n\",\n            start: 1029,\n            end: 1030,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 1031,\n            end: 1032,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"nat\",\n            start: 1033,\n            end: 1036,\n        },\n        TokenData {\n            kind: \"RightParen\",\n            text: \")\",\n            start: 1036,\n            end: 1037,\n        },\n        TokenData {\n            kind: \"LeftParen\",\n            text: \"(\",\n            start: 1038,\n            end: 1039,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"m\",\n            start: 1039,\n            end: 1040,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 1041,\n            end: 1042,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"nat\",\n            start: 1043,\n            end: 1046,\n        },\n        TokenData {\n            kind: \"RightParen\",\n            text: \")\",\n            start: 1046,\n            end: 1047,\n        },\n        TokenData {\n            kind: \"Colon\",\n            text: \":\",\n            start: 1048,\n            end: 1049,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"nat\",\n            start: 1050,\n            end: 1053,\n        },\n        TokenData {\n            kind: \"ColonEqual\",\n            text: \":=\",\n            start: 1054,\n            end: 1056,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"match\",\n            start: 1066,\n            end: 1071,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"n\",\n            start: 1072,\n            end: 1073,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"with\",\n            start: 1074,\n            end: 1078,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 1088,\n            end: 1089,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"O\",\n            start: 1090,\n            end: 1091,\n        },\n        TokenData {\n            kind: \"DoubleArrow\",\n            text: \"=>\",\n            start: 1092,\n            end: 1094,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"m\",\n            start: 1095,\n            end: 1096,\n        },\n        TokenData {\n            kind: \"Pipe\",\n            text: \"|\",\n            start: 1106,\n            end: 1107,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"S\",\n            start: 1108,\n            end: 1109,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"n'\",\n            start: 1110,\n            end: 1112,\n        },\n        TokenData {\n            kind: \"DoubleArrow\",\n            text: \"=>\",\n            start: 1113,\n            end: 1115,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"S\",\n            start: 1116,\n            end: 1117,\n        },\n        TokenData {\n            kind: \"LeftParen\",\n            text: \"(\",\n            start: 1118,\n            end: 1119,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"plus\",\n            start: 1119,\n            end: 1123,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"n'\",\n            start: 1124,\n            end: 1126,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"m\",\n            start: 1127,\n            end: 1128,\n        },\n        TokenData {\n            kind: \"RightParen\",\n            text: \")\",\n            start: 1128,\n            end: 1129,\n        },\n        TokenData {\n            kind: \"Identifier\",\n            text: \"end\",\n            start: 1139,\n            end: 1142,\n        },\n        TokenData {\n            kind: \"Dot\",\n            text: \".\",\n            start: 1142,\n            end: 1143,\n        },\n        TokenData {\n            kind: \"Error\",\n            text: \"\",\n            start: 1145,\n            end: 1145,\n        },\n    ],\n    errors: [],\n}" }
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     lexer::test_coq_lexer
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test main`
[INFO] running `Command { std: "docker" "inspect" "ff7c5552b374ed70c000d63b9f931636ed786715465fca82f1b50c09690b55da", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ff7c5552b374ed70c000d63b9f931636ed786715465fca82f1b50c09690b55da", kill_on_drop: false }`
[INFO] [stdout] ff7c5552b374ed70c000d63b9f931636ed786715465fca82f1b50c09690b55da
